/**
 * \file mm.h
 * \author Davide Gessa
 * \date 10-12-09
 */
#ifndef MM_H
#define MM_H

#include <types.h>

void mm_init(uint32_t, uint32_t);
void mm_test();
void mm_free(void *);
void *mm_alloc(size_t);
void mm_kfree(void *);
void *mm_kalloc(size_t);
void *mm_get_mem(size_t);
uint32_t mm_get_total_mem();
uint32_t mm_get_used_mem();
uint32_t mm_get_usable_size(void *);

#endif
